Optimal. Leaf size=47 \[ -\frac{\tan (e+f x) (a \sec (e+f x)+a)^m (c-c \sec (e+f x))^{-m-1}}{f (2 m+1)} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.101124, antiderivative size = 47, normalized size of antiderivative = 1., number of steps used = 1, number of rules used = 1, integrand size = 36, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.028, Rules used = {3950} \[ -\frac{\tan (e+f x) (a \sec (e+f x)+a)^m (c-c \sec (e+f x))^{-m-1}}{f (2 m+1)} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3950
Rubi steps
\begin{align*} \int \sec (e+f x) (a+a \sec (e+f x))^m (c-c \sec (e+f x))^{-1-m} \, dx &=-\frac{(a+a \sec (e+f x))^m (c-c \sec (e+f x))^{-1-m} \tan (e+f x)}{f (1+2 m)}\\ \end{align*}
Mathematica [C] time = 1.14629, size = 208, normalized size = 4.43 \[ -\frac{2^{m+1} e^{-\frac{1}{2} i (e+f x)} \left (1+e^{i (e+f x)}\right ) \left (-i e^{-\frac{1}{2} i (e+f x)} \left (-1+e^{i (e+f x)}\right )\right )^{-2 m-1} \left (\frac{e^{i (e+f x)}}{1+e^{2 i (e+f x)}}\right )^{-m} \left (\frac{\left (1+e^{i (e+f x)}\right )^2}{1+e^{2 i (e+f x)}}\right )^m \sin ^{2 (m+1)}\left (\frac{1}{2} (e+f x)\right ) \sec ^{m+1}(e+f x) (\sec (e+f x)+1)^{-m} (a (\sec (e+f x)+1))^m (c-c \sec (e+f x))^{-m-1}}{2 f m+f} \]
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
Maple [F] time = 0.689, size = 0, normalized size = 0. \begin{align*} \int \sec \left ( fx+e \right ) \left ( a+a\sec \left ( fx+e \right ) \right ) ^{m} \left ( c-c\sec \left ( fx+e \right ) \right ) ^{-1-m}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.51068, size = 84, normalized size = 1.79 \begin{align*} \frac{\left (-a\right )^{m} c^{-m - 1}{\left (\cos \left (f x + e\right ) + 1\right )}}{f{\left (2 \, m + 1\right )} \left (\frac{\sin \left (f x + e\right )}{\cos \left (f x + e\right ) + 1}\right )^{2 \, m} \sin \left (f x + e\right )} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 0.494884, size = 169, normalized size = 3.6 \begin{align*} -\frac{\left (\frac{a \cos \left (f x + e\right ) + a}{\cos \left (f x + e\right )}\right )^{m} \left (\frac{c \cos \left (f x + e\right ) - c}{\cos \left (f x + e\right )}\right )^{-m - 1} \sin \left (f x + e\right )}{{\left (2 \, f m + f\right )} \cos \left (f x + e\right )} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int{\left (a \sec \left (f x + e\right ) + a\right )}^{m}{\left (-c \sec \left (f x + e\right ) + c\right )}^{-m - 1} \sec \left (f x + e\right )\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]